Comment by pwndByDeath

Doing formal logic because they memorized the token patterns of humans doing formal logic.