End User Programming In Pictures
End users will never use the same language as used for formalization.
End-users (and visionaries, e.g. CEOs), do not want to specify all of the details.
That is what they hire Engineers for.
Architects figure out the end-users’ requirements.
Engineers figure out the details for implementation.
Implementors write the code.
(Note the similarity to other professions, like Construction).