Eq2 instances by level