infer

infer Cato
= inferus.