Parse successful.
sign: ({set0} -> ([0] -> [1]))
body: (\ [0])
sign: ({set0} -> ({set0} -> ({set0} -> (([2] -> ([2] -> [2])) -> ([2] -> ([4] -> [3]))))))
body: (\ (\ (\ ([2] [0] [1]))))
sign: ({set0} -> ([0] -> [1]))
body: (\ [0])
Checkmate, dram!