The entry, doActivity, and effect Behaviors defined on a submachine State are specific that particular usage of its Submachine