Revert "fix contradiction"

This reverts commit 427f76da4ef6de14094d869baf714d33ff1aeca7.
modosu