This is a wish from InfAI and should be reviewed and perhaps done by IWM and FHI.
This is a wish from InfAI and should be reviewed and perhaps done by IWM and FHI.