Add Logic.v