implementing meetIn functions