Verifying Shortcuts