Title: On the composition and decomposition of assertions