Supporting Spekit

Troubleshooting