Remove "...named SMC1" from "Assumptions"