Updated ct/ct.agda