Pushing my Lab4 Logic Project.