/Exception/Failure/
../
Exceptional.php
Failure.php
InternalPrecondition.php
Invariant.php
Postcondition.php
Precondition.php