5g: AndAλ()