added logic.v