prof. Andrzej Sernik's inventory is currently private.