well written. i also feel that the generation of code becoming possible/simple means that our theoretical fundamentals ought to become that much more secure.