satisfiedBy attr of major gone