Describir: Implied remainders.