[doc_manhat]

I think there is right? It's been a long time but I seem to remember it following from the time hierarchy theorem