a p ; - a ~p III St-a