Strawman 3 in development
Added the version used in our proposal, labeled strawman 0