This type of first versions have several sub-types, with every having unique stating conditions