EJMR needs more mathematical logicians and less leetcoders