This user is a logician.

See also

edit