Idris and Common Sense