ADDED: fail case
Test cases should all be true