What properties are used to solve X-3=11 ?