[AtMostSeqCard] Explanation revisited