Understanding Remainders Using Models