I am a software developer interested in philosophy and mathematics who sometimes makes some corrections to clear up articles.