Formalized Rebound

by David Stewart