idris and mistakes