add Logic.v.