First attempt at faults in formal models; improved syntax of formal models