ef (31)