Example for proving a floats property.