abstract Arithmetic = {

flags startcat=Question ;

cat Answer; Question; Object;

fun Even, Odd, Prime : Object -> Question;

    Number : Int -> Object;

    Yes, No : Answer;
}