Code for the article "Implementation by Implication"