Deduces one