The top documents tagged [deriving quantum]