pattern representation and verification