It is common to cut some corners so as to keep the axioms short.
Remark: We have cut a corner in (1) by letting a block itself be a place, i.e. the top of the block. To uncut this corner, we can write
The price is dealing with the extra function top.
