Update Logic_J.v