Formal Supply Follows