Analyzing Rebecca 1 P1