Title: Some early results and documentation for Concurrent Euclid