====== transfinit ======