revisiting clafer