The author proposes four corollaries relevant to AI alignment: (1) in value learning and value loading, all values with real stakes are rules and contracts, and there is currently a lack of a "translatability theorem for rules"; (2) when a powerful optimizer's ontology diverges from humans', "at which level of the ladder" is the first diagnostic question; (3) children learn vocabulary through very little exposure because new words arrive with pre-types, directly cutting the hypothesis space by several orders of magnitude; (4) "I", "here" and "now" are the agent's coordinates in its world model, and all value references that must be delivered to the system carry indexicals that must be bound within the extension of what is bound.