Matches in Nanopublications for { ?s ?p ?o <http://purl.org/np/RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM#assertion>. }
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453436.RA6Zu7XTMiAJpbXgiRzPVHWoJET7XBRSr0Nm317g1jsso assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453449.RAFmaEqOqDxQzrL5dcs2O5H1ktJkxjsoYFlYxhO6fR_vI assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453450.RA2eiJdqmCCBu8M-vFXhfJfd19A8clpemWuNSYdWiOWNA assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453457.RAE2yYA210N3Z4eV1YX1pt2Cv8y7WMmP5tmC277ICrCFQ assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453460.RA74GB821NLL9kCb8Z9Ma6F_suq0E0hPEoGbHtU2odsoo assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453469.RAIh_baap9x0Be9ulQxKYKKoWGg4fMBImVMUBflFLI6eo assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453473.RA7dz3qOZzKP9QyFh03y-FNE0b6gRb8vEDWFCjyoIaJ1Y assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453476.RAycBryWRTqQUSIwbWj9ySKetoRhk1mB-jBAwsMIIMHvw assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453484.RA49yp3Btrg-JFrltA-ZxZst7tvr0Ni6NmKGpPu2dPYGU assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453487.RA_RrWmoF0yKYiCaJSeKtCvHYlmRoMgpCwCiejGtcA8e8 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453495.RA92dm7f2sAmoINhsgwShW7JPLnhjdbL0amqe96tLg0FY assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453497.RAPWbDKYBtMGHHFVTtaXjmYgXXLlee0CUGPXq2xBvb-2o assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453500.RA6Sn733i3jEaSwBWm7e8YjeP4fnmfuOVAbs5kMTAgadQ assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453504.RALcyXr6ftiiG7wCY-G-OVVi75mlkS_QKOhQMS_94wQRs assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453508.RAMzrJXdmhbhM3bkjdRbTDd337MJ9EU-LHOUPzjX_V5UE assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453509.RA3xiAe4i1Kz8OHI2SGcMYMRue8idTsrbD0oqcntsR8Pk assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453510.RAwEFm0ijwJTQuSnCFVscWT5bsGa2c4Asg074H78l11E0 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453514.RANPVIOvT7qjDGJentoSckmCqUh05FRbufdJSbN2NYog0 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453527.RA9NCCm1Kor6_JcOWjDDdjVAZFe3tPWRg7OAciynVgN6E assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453528.RAx7RPQPvcKX8er-oj9TpmGVh20hd6FG-vanEx88ccWF0 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453531.RAwtxCH5qogjPXFSYYBBuprW_VHgfMO6vrgxr-a9aHJPU assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453533.RAIldYQb66we9DR79uHWTlWKbsj-VKYnGR-wSeLUvMv-A assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453536.RA5xMhYaNo8FODyx_FTBOekr_C-Ad0Pw1c57ih_5UbJ4Q assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453545.RA-i5B5xyctEHQip8sgZBwCdBQEkLXTUK_9UAnE2ST1G4 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453552.RAM-HDmsQylG8dmhbQMP59n0T8NiNRgLEoiB_bRqwTuH4 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453557.RAJBtw40vOvCvlQEn93z1ZqbJzDcwbeSYbXrG06LcF_qM assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453567.RAPMF4GeggYf7DalmU41eYEHFizE_30g7OnAr8fUWBxUo assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453571.RA_f6oFoK75_9KZZSVjwXMWaxcdj5NbnfYQ_BGacXsfy8 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453573.RAF_HRooqWfNq_iFx1hSc3WgHLD_me9gh1bF3CiDGjYCI assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453578.RAPJ7GdvdIkXj2G3iIY01-5YqOykOs_0r6oWq76_gK2tA assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453579.RAy_SE2INW9k2sVaML6rTX0SLdBfuZJHCCNhQN4OSNIkY assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453588.RA3NjYS66S8g4REokS_I3aUbKMj-1VRb14VmfuCYHZ-Fw assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453596.RA0gBlmH-S-W8UbUrph_64w1fRqRaVFPwarKmxMayHppI assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453608.RA-8hv1B3LaIzoBWwdabnZt9fpu3imGKaaJUndMmrl9rk assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453618.RA2H_1hai5e3Otkah-VsbE5cUnHyVt6brxEETvd1D72fQ assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453620.RA9utKzSn_babxFt-u9-Z44wn0t6q7c7DXWwRzbWXc6FI assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453629.RAFWwIs1hF8MlmGXYszQjTGRSp8vAy-jJyBhz8Nyqb60o assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453642.RANWW974XNuN7pl5cQn2Dd2OQCPmcaYmWZsakO6zuGzA8 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453643.RA74niHyRp6eafBp49b5l7DmdN-5nGRpi1f6_LIN3j8I4 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453647.RAGCbHeIuYx_K9PbdTXOUICbTWplCB0vQqy531HCq55ME assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453653.RAyhghQPXIPTfa_GdLCkmpSaCkCemcUKfABs34Vgw87p8 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453657.RA4-g1UvLWm0Z7quXrEs756D6JPHGzfwEdoUZkH9NTf-U assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453661.RA9svgqDRba9kLVSO1m6nVc8vIveEqFK7BLB5YVTDiScM assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453669.RAKUUvl1gK28qCgPF5ZKRy6dePHrPNDUMfuILa1rWk4AU assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453672.RA7f9l7Wpoh-LGEqASvdgt0b_sTJgXHuR6pA0oeKibGEE assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453677.RA3gx5o6hGaHRmv1ZUZctUI6TZKN-489E785p_dsdLtgA assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453679.RAM8b_oSCzglXXUEKiZQHfvdTMXY52XUkTFYks1cggBow assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453697.RAJEpyWa9gBO_aLRSWRzeYJ2_iSQK3AA8ms2JMpghuwwo assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453710.RA_pqbUgB7q8lyxxophVWIF7p_k33Ac11o4zFU1EVVCCQ assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453711.RAOT5Ydfswu703666H5rumRwerUVc5_8QCfQqgb1_quik assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453712.RAIMxKauZX70K3gVPzmnBgKxHM0eavpczHv2utHzz0LEE assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453714.RA1PWAXJGVOvZkeXssaMDwtvFtQxVMRKYFp7pH9SD71eU assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453715.RAxkkB239GXtQEuuJqC5h9ao9ZLOJU3zCZHownhgHkmUM assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453724.RAOb2NLcxj_feZ9f2FuDbzM6hVx8zeVqz8Q-1Atlbb3tQ assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453727.RAJxD1OoAwK4gGMKPTf5w0_FaQHvPWGscLqWCixBpeqv0 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453729.RA6EUnjtYOsq4U2GABo6k1UuN219idKaUL-iqff244E0Y assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453738.RA8YVICr9yJXNXgjWwuA2UTgj0YCPdn24mscpr5399HQ4 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453751.RALM39jF3f7hJUVh5b-FgevTPem1A4JO9CN4F7kRjvmCw assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453755.RA8Scg-Q-q9p0FXYBSueBUC_J90JEBGwwNLybww8PYa6o assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453757.RAx6L8IDugOBnSgYM2QSlENrvXhYJ82EkyR4frhf3O1IM assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453768.RAwRbXpMivZovwUn49jmA8fNQly88EV-Dp7BkQaUDGDOs assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453769.RALQZF-qe8fpPqFRFkAoIqR4w2GOLGoYDHxIe6pYWehn0 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453792.RAOGEBrDj-wwzA50kChF9Om4L_vIrz_BKjU6q1TBPRnkE assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453793.RAybUfIQpvn39uJyW6PTZi8xXU6cqQVnZgcsMXezk4U8c assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453794.RA6axxevWauof8TgeNpTsSjH8HFtVwPbfo03v_Oi8o4Jc assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453795.RA0pPxkctar7Gl8hsLhqSrNEJ1ipyKnKicSiJXzjjIi2A assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453797.RA_hemBTz1TyezNXD6AAKYCjFlyhtcYUGU4dQaWElax3A assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453802.RA5NdELqB2lUCYwGP55xYXf9LMAbux0M424VhMtHDfdY8 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453811.RAKhVsjoVuDON8DkcErw2ImwWsp369m6PgUvFMlxkZWcE assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453820.RA6AsYAKnUCjJ4koFNEaKrNHB85QIef1xPD2cf9maqBpY assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453826.RA0li6ckCmQqtTXA7Lwgovt6rOhLlMEuSsjxc--UhP2so assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453836.RA7QY0Wv-FpmXN9Bupf9zipEZWUCtVtg8QFwW3DT8oJo8 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453841.RA51cWiGzW3VbMFeG3jPr9WQ7aI2G1eM7rluxQEwNhv4g assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453846.RA07DNqPjT4Mbg2FruoyXBkt4Bb1l4pg_B2yxVIKyaWWA assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453854.RA2PNaCgML-06pixYOFlzuAs9jgxYTp2SeyaUDuCPtjXI assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453856.RA7qr1K6NM3CHvTaxEJ4ncfdx2I9jCRmEv4Coh8XjqrjU assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453857.RAzn2ZspMsNdq6JbtHzsaC7DZFiilqP8zlReKF6lY9Erk assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453860.RAzcq8rI1CtlVSOtzY_-uMsqbd8BHKXLsWhi6I9LItLl8 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453863.RAzF1Crgk8mekJhRprZIWgRmCFbeEbnm1RXgeqlZJJZZs assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453864.RA11OJ_i0FtysPHO0GymCCxPDmMQoBbcNd2MQ0x_SVkDI assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453866.RA--9dFhWUofKdFcGpEwzfwTJoLxhzfjWLXNbjgnIwBek assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453874.RA82vWocofgzydQZm6YCyo2i4cY8ldaqZswhAIn6Xq564 assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453879.RAxQDEM4uZ1WGi-puao0j6KXIucYEfyIWRm-hCOPHM9sc assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453896.RAwkUXTktbMqOd1iRfm7Zfq1C9_wjx2UUoiVTlXjBhkGY assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453909.RA4BsS08O5Vsuo6LEisJvEuBBS2_M1c4YnoGkltYIJLoQ assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453915.RA_0C_-p-jFRvg3jC_2uv7YPAfwkNdBB1cG3kWAUUyzYA assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453916.RAwAJ72Acx6xb6LSLzyV5LWPOD3HAr0DwwuCb3KgNnALk assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453925.RANieHdrVVcMywlzFi3cmJsxh2QGvUHp2nQZH65uYVqzA assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453927.RA_YzbcdTazw_NnvU446iD4F8IfpcRwUhStG2WscDmVfM assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453930.RA814UIutcFL2v3bwCneLK3f3vdZno5JrUuhdyTZX-oec assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453958.RA_z1c9rAvxAQO91X49Lgmlxzfu3tZD_N2KEflCH9H4LE assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453964.RAGIeI9qnyL55xm3bPRhUGjDmaHoIB6gUAfAQD4UV37xM assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453977.RAH_N7k5cYHZkDDm5OPoOuOJ1ulziDO0Cq6h0KCTjIzjA assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453979.RA1-WF3ec8hZslwcFs_7QS4irxT-y9zxgAvmI5KvFOBcY assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453980.RALYCIeY8YUz3l4tbJ2xGVa8cgDCQjEvqpdmgAobwdM5E assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453984.RALTZ1QOFN7xAh_1NfJcWIhfUfMWdS7hCAP_0rCwE8kws assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453987.RAHhQII8zCr7hikiSf1q6cCQz9Zo7IRUIFaabJClB53Qk assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453989.RA12NFATa-fDeWhCQY9fIR1WOsE-G9MwqC_rTLz76SXkQ assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453991.RA_ShNUqtsg07H2mWL4thTYCkEid1iox70_PJUkDXr-Ro assertion.
- RA8bAo-pCyAcb3sGduzWuNhAZ7tnTqmffjAYLOwpKHnvM includesElement NP453993.RAH6MH8l8mOhLSEY3auYV2it8WE2fwbSuSwh7kgaubv_k assertion.