Proposition | ALEFAST