Fix logic program, upgrade help