Made logic less wrong