(1) atal honetan, ziurtagiriak, egiaztapenak eta onarpenak definitzen dira, eta (2) T eta A sistemen ingurune batean (eskuzkoa edo automatizatua) ziurtagiriak, egiaztapenak eta onarpenak nola lor daitezkeen aztertzen da.
Sistema guztiek eskuz funtzionatzen dute.