Sidenotes will appear here. You may safely ignore sidenotes without impairing your understanding of the rest of the tutorial. However, if you do so you may wish to later revisit them to flush out your understanding of Alloy.
list all sidenotes
clear this sidenote