Math Logic Mysteries