add Logic_J.v