methods		Formal Methods and Classes