Added verification for nested vals