Keep calm and buy an Idris