An implementation of Eisner V Macomber