Constraints on physical reality arising from a formalization of knowledge (2017)