support for 'that the value exists' type requirements