GiuliaSmart contract – with less shadow1