Added verified properties for the first exercise