Starts day three of Prolog.