formalize previously available options