Introduction

A proposal is considered formally introduced if either

• it is a result of vote in a child node, or

• in a group there are at least K additional sponsors of the proposal from the group members (e.g. K being 5, or sqrt(N)/2, where N is the number of the members)

• In a metagroup there are at least k additional sponsors from the representatives of the node (e.g. k being 0 or 1)