2 definitions by Harry Redhead