"stipulative definition"@en-us . .