Progress on Logic