Derive.List.Extra

saturateT

alphabeticalVariables

getArityT

getArityI

getArityD

printQ