(Non-)ideal theory