Reliable systems don’t grow on trees until computers can type-check them. tAF explores how people make things work… reliably and with clarity.