Issue 354 inferencing

Simplify reasoning.