created stubs for denotational
did the ackermann part