starting to create the verification strategy, when we pack and when we unpack object propositions