Put some negative examples in for Assert/Refute
AssertNumbersEqual is part of our testing library