Logic-2 complete.