[rules-users] Design by Contract and Business Ruless