ALEMAN is following