reinstated inspect machinery used in maybe example
	modified:   Utilities.agda