Now patterns are uniformly specified.