Interlude On Logic and Mathematical Expression