Add two tests.
Split Fail into Fail and Impossible.