I have a spreadsheet of LG sections I have done, and one piece of information I write down is the target time.
It seems that lately, some of the times for particular games have been changing, sometimes rather by relatively large increments (say ~1.5 minutes). Take for instance the following:
On PT23, the new and (old) times are: 5:31 (5:53), 10:40 (10:40), 10:15 (11:20), and 8:30 (7:37).
The same occurred on PT28. Game 2 is now 10:53 as opposed to ~12:40, and Game 3 is now 9:30 as opposed to ~10:45.
I understand that these times are pegged to how a particular subset (namely people who get -1 or 0 on LG) do, but I am wondering if this change is intended or if it's merely an artifact. Could @studentservice or any of the course designers chime in on this?
It appears you are confusing instance of negation with contrapositive. Contrapositive is the rephrasing of a conditional in terms of negations (as in, P --> Q means the exact same as /Q --> /P), but contrapositive is not negation of the original statement.
Your item 3) is the correct parsing of the necessary part of the conditional statement of rule 2. Each of your 1) and 2) represents an instance when 3) is negated. E.g., J couldn't be more expensive than both K & L if item 1) were true. However, neither 1) nor 2) is the correct negation of the necessary part of the conditional statement of rule 2, which should read as follows:
((K - J) or (L - J)) --> (H - G)