Lifted validation rules into Valid definition.