A framework for comparing and controlling numberbased design reasoning systems by L. Yu