Deduce from known information