Guard added to quantification in property five