The University of SydneyPage 55Technical Systems–Technology enabled / automated parts of the formal system–Presupposes the existence of a formal system–Could be problematic if formal system DO NOT exist, or technical system is different to formal system–Plays a supportive role to the formal system