so you might write something like