added not behaviour and small explanation for infinite symmetry + playing with hanoi syntax