sketch test for axiom working outside the IO case