User:G8cutz/sandbox

G8cutz/drafts/formal specification