[
	~ < P ? Q > 
	~ < ~~P ? Q > 
	~ < ~P | Q >
	< ~~P & ~Q > 
	~~P
	P
	[
		Q
		P
	]
	< Q ? P > 
]	
< ~ < P ? Q > ? < Q ? P > > 
< < P ? Q > | < Q ? P > >