Test things that should actually be true