methods		Formal Methods and Classes
