numerical expressibility theory