official Date: 2001-03-01 Author: James Davenport Notes: STS cannot encode the requirement that there may be at most one otherwise, and it must be the last element. However, this is the intention.