[Theory] public static void Invariants (Receipt receipt) {
				Assume.That(receipt != null);
				// ReSharper disable once PossibleNullReferenceException
				receipt.AssertInvariants();
			}
		public static ReceiptAttempt Success (Receipt result) {return new ReceiptAttempt {result = result};}