built-in property constraint