Express the following constraints in OCL.

give the Pre$-$ and post$-$conditions of the method Section.drop

$($Give ALL the pre$-$ and post$-$conditions, even if they duplicate the invariants$)$