Added another instantiation with just simp for routine reasoning