Pondering assertions about assertions...