<< Previous exercise (3.11) | Index | Next exercise (3.13) >>
meteorgan
z => (a b c d) (cdr x) => (b) w => (a b c d) (cdr x) => (b c d)
meteorgan