\all X. X \Pi: APPA article