Leśniewski's systems
Bandzählung fingiert