Why use `Theory` here instead of the usual `Fact` entries?