Quantified Systems