Post #1846808

@MartinEscardo Apparently I did the right thing when I answered a question about whether to work in neutral mathematics by saying "assuming that neutral mathematics means . . ." @jonmsterling