Follows from

Summary