return should include test for 

	return   a &= (b < c)
