Now this one

Make this one pass as well

property2 x = f [x] == [x]