Hippolytus: Refutatio omnium haeresium