PROPOSITION(AMIL)
UF
[...]
BT
AMIL