Finish Logic.v