Logic.v done.