~~DISCUSSION:off~~
===== Theodore Laver =====