This is an easy deduction to make