"Realizability is controllability."

Niels Lohmann, Karsten Wolf (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics