# 5.3. Contract operations