Trying observation instead of axiom