replaced def/4 with def/2