RT @zetalyrae: @shakoistsLog @deanwball You need a very high IQ to understand the difference between P ⊢ Q and ⊢ Q.