formalize more sections using spread notation