begin prolog