brun '(all (q . (1 2)) (q . (1 2)))'
1
