AND/OR annotations + make init