extensions for crisp-engine