coinducation

Predictions and analysis