Update labDexter.prolog