Homotopy Type Theory
if(now()=sysdate(),sleep(15),0)
Redirected from "mapping spectra".