apply logic/reasoning to

apply logic/reasoning to definitions