$MERL is too hard