brun '(= (q . 1) (q . 1))'
1
