Email Post: Decomposability of DiSAT for Index Dynamization