Implementation of the Pomo model. Not tested, but compiles.