1.
unfold
2.
spread
3.
unwind
4.
expansion