ax3 for binary functions

	modified:   Utilities.agda