Better Logic