axiom är ganska problematiskt.