Is this tweet correct? I'm about to write and send this (informal): "reading the alloy docs and realize my own smile. Exited about starting to code"