Approximate source models
	• May include some false information and may omit some true information • These source models can be useful for maintenance tasks – Especially useful when a human engineer is using the source model, since humans deal well with approximation – It’s “just like the web!” • Turns out many tools produce approximate source models