Shadowing an SLCP Verification