+ (1 -/)wo, Og/^l. Finally define F:QX [0, l]