Idris is covered with circuits