Matches in Nanopublications for { <http://purl.org/np/RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg> ?p ?o ?g. }
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813563.RAUOLR43tHsC0E4Ltju2jPNXglQdNo2DFlD8Mm07LfGQA networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813563.RAUOLR43tHsC0E4Ltju2jPNXglQdNo2DFlD8Mm07LfGQA assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813565.RAY_pJPGh4DEnvCcSJpzUxod4oWiA43BxTLQb40OsqtlM networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813565.RAY_pJPGh4DEnvCcSJpzUxod4oWiA43BxTLQb40OsqtlM assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813570.RAWDnNcE4vzgc-ji0437ez7bAdiyqOV_USSyLEpo68Gs4 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813570.RAWDnNcE4vzgc-ji0437ez7bAdiyqOV_USSyLEpo68Gs4 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813575.RAWdn352WWUcU_vdyWsp8VPA-Nfi1stW6s1VbRb2fzDEo networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813575.RAWdn352WWUcU_vdyWsp8VPA-Nfi1stW6s1VbRb2fzDEo assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813588.RAXk_PXWLP17kGBLrX4PnEZKl4BbQbgG97z049Q--BidY networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813588.RAXk_PXWLP17kGBLrX4PnEZKl4BbQbgG97z049Q--BidY assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813590.RAZjpa4ZoZ2zv6Q2r6Vi4_LKmZDhYJYdwpHPZQvmBUvtQ networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813590.RAZjpa4ZoZ2zv6Q2r6Vi4_LKmZDhYJYdwpHPZQvmBUvtQ assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813606.RAUAX9BcdLKuVYDnsPC8SnKJgMQTDLJPMVNV_iszuFs8A networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813606.RAUAX9BcdLKuVYDnsPC8SnKJgMQTDLJPMVNV_iszuFs8A assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813616.RASq9B0Z5dhhb31jcEk5dQCYiB9EWjmV4wLlFUlJIA9Hw networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813616.RASq9B0Z5dhhb31jcEk5dQCYiB9EWjmV4wLlFUlJIA9Hw assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813636.RAdn5IonhfIKV07WsFweYVv5EADTLppR-H6u79BDw-Lf4 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813636.RAdn5IonhfIKV07WsFweYVv5EADTLppR-H6u79BDw-Lf4 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813647.RAdVCNqCBMSZDqEX5G8eZiqQNsvF_QPC7E-T64Eu22NY8 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813647.RAdVCNqCBMSZDqEX5G8eZiqQNsvF_QPC7E-T64Eu22NY8 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813673.RARhRsHcC85Iy2HElZ9UfoE6h-uIZOg7LGCU_rXHPgvtE networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813673.RARhRsHcC85Iy2HElZ9UfoE6h-uIZOg7LGCU_rXHPgvtE assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813680.RARwzZ6-CKYM6pyqhRQI65ZIjVQHZ_v1F6ZgjZgHcYPMo networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813680.RARwzZ6-CKYM6pyqhRQI65ZIjVQHZ_v1F6ZgjZgHcYPMo assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813689.RAQ6Iv4uvdufJiSmuTspej-YF0CY9iLAlAWW4y2AuG2_8 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813689.RAQ6Iv4uvdufJiSmuTspej-YF0CY9iLAlAWW4y2AuG2_8 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813698.RAbgn_0bqHcvUG9FuM6I9CjwIfodbMk3L-gTiqaT0QnCU networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813698.RAbgn_0bqHcvUG9FuM6I9CjwIfodbMk3L-gTiqaT0QnCU assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813703.RAT10LscG-gmhwn2aIb8BdHUlbFtsvNiYO7V-TBHDGbG8 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813703.RAT10LscG-gmhwn2aIb8BdHUlbFtsvNiYO7V-TBHDGbG8 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813708.RAZjSjEjCNF0gSOqax0-hkJqvBL3nhzO90WoSCn5CVXtU networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813708.RAZjSjEjCNF0gSOqax0-hkJqvBL3nhzO90WoSCn5CVXtU assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813710.RASkO8eEc1Bmd9wDNiAhdMMP1zoqjaBOjj6FGCojpwESE networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813710.RASkO8eEc1Bmd9wDNiAhdMMP1zoqjaBOjj6FGCojpwESE assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813713.RAT1eU-vbsYKCrR6KJ5KBrIHqTwhauvaZAjgpvb7wJklI networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813713.RAT1eU-vbsYKCrR6KJ5KBrIHqTwhauvaZAjgpvb7wJklI assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813724.RAa24zetMtQVK1OZa6g3sJKlhDeufuv2C-UNmkh4W4wgQ networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813724.RAa24zetMtQVK1OZa6g3sJKlhDeufuv2C-UNmkh4W4wgQ assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813729.RAShMVbWnBAm6VFCbDhCcj7dk1pPIysDXI8Z1iuC8goqQ networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813729.RAShMVbWnBAm6VFCbDhCcj7dk1pPIysDXI8Z1iuC8goqQ assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813753.RAdvzqCWkQYU5Cgb1Pwcb7vDDtZ4px_T_RkSyoLgZPapI networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813753.RAdvzqCWkQYU5Cgb1Pwcb7vDDtZ4px_T_RkSyoLgZPapI assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813754.RAQAWYlv0pg1ZM-8KHgyoPYse2k6xZTqckLbD4lfI12Dk networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813754.RAQAWYlv0pg1ZM-8KHgyoPYse2k6xZTqckLbD4lfI12Dk assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813763.RAY7lboxFsQQBkoStaR2vQu4vPYs1Ne2chGa6mZ04WHBg networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813763.RAY7lboxFsQQBkoStaR2vQu4vPYs1Ne2chGa6mZ04WHBg assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813769.RAY8lwlrr2Dm9kQnewFA33AYW9foUxsY-R2Bc3E1f3DFs networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813769.RAY8lwlrr2Dm9kQnewFA33AYW9foUxsY-R2Bc3E1f3DFs assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813808.RAWhBFzBbpd8bHFtHeSIrGsIhYa8pfIKdnwl5Ob5OFOSs networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813808.RAWhBFzBbpd8bHFtHeSIrGsIhYa8pfIKdnwl5Ob5OFOSs assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813823.RAWaPav1UazHXmzSNZbovbenXiaaan6u_X1frQsxnlyfI networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813823.RAWaPav1UazHXmzSNZbovbenXiaaan6u_X1frQsxnlyfI assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813852.RAYwoGqJ3uNnBxHL0F-HfwrGx9KH3gdh5nufP33qXWJcM networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813852.RAYwoGqJ3uNnBxHL0F-HfwrGx9KH3gdh5nufP33qXWJcM assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813859.RAahwMOPmwktX2-rgyj18GF5aIFfOjgHgScH5PeU7evDY networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813859.RAahwMOPmwktX2-rgyj18GF5aIFfOjgHgScH5PeU7evDY assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813871.RAcvWlDOJjgbX1cuOxY8_Dl0dBRUnv24xhavAkqzasEpk networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813871.RAcvWlDOJjgbX1cuOxY8_Dl0dBRUnv24xhavAkqzasEpk assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813873.RAapv2AHDXaVwRpL7exKnNJ9ralScG3mnPl8IBx06mdu8 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813873.RAapv2AHDXaVwRpL7exKnNJ9ralScG3mnPl8IBx06mdu8 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813877.RASPpFJa_6ViEQsfquKBsDuJnj2ncQmD8aFj6nEyAgGeQ networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813877.RASPpFJa_6ViEQsfquKBsDuJnj2ncQmD8aFj6nEyAgGeQ assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813878.RAeqvCSugBQ7Un3hMWNF6FMF1_BBEYqJGEwT0sVvGyAR4 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813878.RAeqvCSugBQ7Un3hMWNF6FMF1_BBEYqJGEwT0sVvGyAR4 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813881.RARhad5_OFHWvrvGrtK5_5Ct-7XXRrgDZXuobYniBmVHQ networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813881.RARhad5_OFHWvrvGrtK5_5Ct-7XXRrgDZXuobYniBmVHQ assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813883.RASI_2KBcOnGUylKovlGNo5wRHeuC38cxQWWGfFJxaMCg networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813883.RASI_2KBcOnGUylKovlGNo5wRHeuC38cxQWWGfFJxaMCg assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813888.RAay9Eh_uGhYVRhr23KBhmh69aC-V7cfb1FX-19Y3ES7g networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813888.RAay9Eh_uGhYVRhr23KBhmh69aC-V7cfb1FX-19Y3ES7g assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813889.RAaM9FtRkI62UO-l2oyeIRA-TOO6XJujeySlnmSjrTj5Y networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813889.RAaM9FtRkI62UO-l2oyeIRA-TOO6XJujeySlnmSjrTj5Y assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813893.RATmu1cjEXmE6P9CH4-vKanzjNH7l_EzyQ_zPB_wibgpY networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813893.RATmu1cjEXmE6P9CH4-vKanzjNH7l_EzyQ_zPB_wibgpY assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813899.RAQ0JpC9qjx7of_Lxcfrw-gBzo2OgWxp_Arg1CdAqoF6M networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813899.RAQ0JpC9qjx7of_Lxcfrw-gBzo2OgWxp_Arg1CdAqoF6M assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813907.RAVh3yhQNoDuhuNY2wxrGw_oheiYom9zvKYhv2Ejj1eD8 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813907.RAVh3yhQNoDuhuNY2wxrGw_oheiYom9zvKYhv2Ejj1eD8 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813911.RAbfKCf_Oz5qBptY6NfYpoibPrMQDdrp8ugOGZkL5Gwrs networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813911.RAbfKCf_Oz5qBptY6NfYpoibPrMQDdrp8ugOGZkL5Gwrs assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813934.RAeTM95ssavHiDSuaKfvAZbTYAioK-KlXgd-IoFraO1X0 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813934.RAeTM95ssavHiDSuaKfvAZbTYAioK-KlXgd-IoFraO1X0 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813950.RAZmzWAzvBQYSjAQ2RomxM55rxmvACNavtIvsbBNyTsLo networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813950.RAZmzWAzvBQYSjAQ2RomxM55rxmvACNavtIvsbBNyTsLo assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813961.RARAx67mT1Qzd3KO8qB1s1NEAmJUx__ZQjgubQp0zJR7g networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813961.RARAx67mT1Qzd3KO8qB1s1NEAmJUx__ZQjgubQp0zJR7g assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813988.RAQ8FmuF11zyacgFe8J1W0Sbm_PQ2Ti-YdemXU2g4pZJ8 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP813988.RAQ8FmuF11zyacgFe8J1W0Sbm_PQ2Ti-YdemXU2g4pZJ8 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP511890.RAMiO7NfYu-j1S9LJHIt3Iff18u_mStOGh0BWFvwVyPag networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP511890.RAMiO7NfYu-j1S9LJHIt3Iff18u_mStOGh0BWFvwVyPag assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP579610.RAO5wy3qYrhhxAo_8huZtFNnFfyGKIx5MXRyFCU4l3v1Y networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP579610.RAO5wy3qYrhhxAo_8huZtFNnFfyGKIx5MXRyFCU4l3v1Y assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP568225.RAO9A-SYVwD1BjOErSPFQidUdqn8Gl_DXaiZLp_8TOokU networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP568225.RAO9A-SYVwD1BjOErSPFQidUdqn8Gl_DXaiZLp_8TOokU assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP624887.RAMyv36s7eODIjf2TQ2HZEwe2oJ5GfEx2Q2yrO6GE9L0Y networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP624887.RAMyv36s7eODIjf2TQ2HZEwe2oJ5GfEx2Q2yrO6GE9L0Y assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP692043.RAEUlE3DkVJK_lNFU7W6bP1HUQjQmRvU0xD-TUnTxaCD4 networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP692043.RAEUlE3DkVJK_lNFU7W6bP1HUQjQmRvU0xD-TUnTxaCD4 assertion.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP699877.RAGQELdtl6nwJXyJY33w2UPXnAHBoeZYK0Invpp9X15-k networkGraph.
- RAXE9T2riuXwX3Qw44sPeEph6j3xXVkUe5eu98xMkkPIg includesElement NP699877.RAGQELdtl6nwJXyJY33w2UPXnAHBoeZYK0Invpp9X15-k assertion.