Add a bit of IDP