Showing structure for P