A device moves from state S1 to S2 when either of two of its methods (there are many other methods also) is called with argument boolean == false. There are NO guard conditions.What is the syntax for the transition ? For a simple case, the syntax for the transition is like - trigger-signature [guard]/activitySo, will i have multiple triggers separated by ||, ie OR symbol or something else ?