Straight definitions are given in bold