Theology of Sorts