test(A):-
    assertion(A==42).