Richard De Veaux, Paul F. Velleman, David E. Block