"Insomniac logic is a special kind of logic"