Assumption smart

Assumption smart by Condition