reasoning and validation example