Definition of "deduces"