: (& 6 3) -> 2 : (& 7 3 1) -> 1