This user is a participant in
WikiProject Logic.