see http://www.ontology.com/retrograde for details…