Heya, great Article thanks,
but the key other than stated is actually Axiom 6,
because Axiom 7 can easily done with line&circle ;)
greets
Simon the Sorcerer