exposed S1 definitional equations