In the action layer aj that have p and q as a factor respectively and these two actions are independent, then we know that we can also have p and q as propositions in the following proposition layer. 