 For such reasons many scholars have found it rather problematic to reject (P5). Instead they have focused on systems accepting (P5) but rejecting (P3). In the following we shall consider five such theories.