begin of determinisation