added more careful reification