mention postscript for definitions