output from definitions