module Quantified