Gain more instructions with Property logic