simplified pattern-matches