Logic-1 complete.