https://alexanderventer.com/bounded-set-model/