towerproof

not defined yet