Premise: A dog is walking down steps.
Correct statement: It is certain that an animal is walking.
Incorrect statement: It is impossible that an animal is walking.