Deduce from obvious fact