testing expectations and verification