final options for definitions finished, untested