note on choice syntax & style