Assumptions (slowed down version)