Delete distributionalclause.pl~