Property and Checked combinators