 Overall, the tools provided by the relevance logic program offer theoretical resources for constructing theories of hyperintensional phenomena, whether representational or non-representational. To date, many of these proposals have been piece-meal, with less of a general story about how these techniques could be applied to handle hyperintensional language across the board. Some general strategies have been outlined for how a theory could be constructed that handles all hyperintensional phenomena: one such program was Richard Routley’s “Ultralogic as Universal”, first set out in Routley (1977). See Nolan (2018) and the essays in Routley (2019) for recent evaluations.