Solidity if contract + This block and proving the and rentals are composed of contract both purpose