Rules and arithmetics by A. Visser