just reminding myself of simple universe and derivative constructions