[?(@.a&&@.a&&@.a&&@.a&&