GiuliaSmart contract – _1