I just read https://lukepalmer.wordpress.com/2013/03/25/follow-your-nose-proofs/, and realized that "follow your nose proofs" were already analyzed by Dijkstra/Scholten/Feijen/Gries in the context of their distinctive proof style and format. They call such proof "there is only one thing you can do", under the slogan "let the formulae do the work". (See my answer https://math.stackexchange.com/a/332186/11994 for an example and some references.)
So as a way of spreading knowledge about this proof style, I'd like to post Dijkstra-style proofs for Luke Palmer's two examples on this site.
Now, I'm thinking about posting a question, "How are 'follow your nose proofs' handled in Dijkstra et al.'s proof style?" and adding an answer with the two example proofs.
My question: Is this type of self-answered question appropriate here? If not, in which appropriate form could I post these examples here?