Tagged contract-engineering