module ProspectusTerraform