Correct, they are not equivalent. The second statement is a consequence of the first. I made this consequence explicit to justify my choice later on to bucket by the number of Rs but not their order.
The first statement, though, is also true. It’s your full guarantee.
Correct, they are not equivalent. The second statement is a consequence of the first. I made this consequence explicit to justify my choice later on to bucket by the number of Rs but not their order.
The first statement, though, is also true. It’s your full guarantee.