Delete PropositionBook.php