reasoning and validation examples