In the Summa Theologiae (Q90-108), Aquinas systematizes natural law: eternal, natural, human, and divine law, holding human law valid only if rationally derived from natural law — the basis of the (popularized, not literal) maxim lex iniusta non est lex.