Clarified rules about calling a super method with a contract