Hoopje's CL Reducer

Results

Term: S(S(KK)(SKK))(Ky)P

Home