mlforall
