so, when i talk, i talk about independent actions, but what's actually written here in the definition is that we require the two actions and the same action layer to be mutex with each other, and that we haven't defined here, but we will get to the mutex relation between actions shortly.