Fecit yourself by A. Dijkstra