closed sentential formula