Definition of kray @rmfrisch