Hasse PseudoCode :D