$ASTER gaat trouwens nog steeds naar $4