add logic.v