deduceremus