AXIOM for INTERLUDE