Matches in Nanopublications for { <http://purl.org/np/RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI> ?p ?o ?g. }
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP674534.RAcMO4R-v7afWWLA4HUOPn_Spgn0tkcje_6RGzTM2-Ino networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP674534.RAcMO4R-v7afWWLA4HUOPn_Spgn0tkcje_6RGzTM2-Ino assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP704863.RAVEIX4MVMl44uqnt3PZM9Bf8zbz8GEWi_rU_RxdUe9CY networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP704863.RAVEIX4MVMl44uqnt3PZM9Bf8zbz8GEWi_rU_RxdUe9CY assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP743161.RAfHtkIxq3lsskAQBGqLL46v-N83YG3bHkjPh9I6Zib7I networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP743161.RAfHtkIxq3lsskAQBGqLL46v-N83YG3bHkjPh9I6Zib7I assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP776275.RAXacpZls6AUNJaT_1HAg-CNvar4tgrI03kMSlIr6BGlk networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP776275.RAXacpZls6AUNJaT_1HAg-CNvar4tgrI03kMSlIr6BGlk assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP814484.RAX4gDJ-WoNPF6FfyGTKzzgKZj0Yen1B2N1llR9AjLIEM networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP814484.RAX4gDJ-WoNPF6FfyGTKzzgKZj0Yen1B2N1llR9AjLIEM assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP828331.RAU1bJFmC0lzalk1yQ5js5R23ozB8h_A0Oq2y_P5qjTBY networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP828331.RAU1bJFmC0lzalk1yQ5js5R23ozB8h_A0Oq2y_P5qjTBY assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP856124.RAba1iGtedqylqjX8UOG-Je_j6vrqMJgqTkrCkOyLKzbo networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP856124.RAba1iGtedqylqjX8UOG-Je_j6vrqMJgqTkrCkOyLKzbo assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP856368.RAYHdzhkEv1WV9cllSsCTrkP3qK5DHNYzNN6hDpq00N0o networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP856368.RAYHdzhkEv1WV9cllSsCTrkP3qK5DHNYzNN6hDpq00N0o assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP865897.RASAE3pIiuy583o1hnerQq-OE1I4Gl_pL-UXRuo5ayJa0 networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP865897.RASAE3pIiuy583o1hnerQq-OE1I4Gl_pL-UXRuo5ayJa0 assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP874786.RAf_V-x_njq37zH4_UBmfBOPnDww04DoIex6__SHbtc90 networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP874786.RAf_V-x_njq37zH4_UBmfBOPnDww04DoIex6__SHbtc90 assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP681855.RAfWqKFbV6zUcrkkdvfjj52tKm6VRRQkGhQ3sQFhMm310 networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP681855.RAfWqKFbV6zUcrkkdvfjj52tKm6VRRQkGhQ3sQFhMm310 assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP681954.RAf60Bfyg0xCNh_OCJAmBvus2fOTs9YwQR40eM3jbHHG4 networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP681954.RAf60Bfyg0xCNh_OCJAmBvus2fOTs9YwQR40eM3jbHHG4 assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP687238.RAaHxCKzXstNDgXbaxk2pOJlCu9I6z3htHeopQfkZb3kQ networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP687238.RAaHxCKzXstNDgXbaxk2pOJlCu9I6z3htHeopQfkZb3kQ assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP714720.RAaCgh0XxHEWhoalFXq8-j24u3a-XYhU3YBH5XSD9KqN8 networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP714720.RAaCgh0XxHEWhoalFXq8-j24u3a-XYhU3YBH5XSD9KqN8 assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP714939.RAae1MSMK-0im24nt-qiCDppEdP3I2i-oYRDbf8HsTwks networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP714939.RAae1MSMK-0im24nt-qiCDppEdP3I2i-oYRDbf8HsTwks assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP726385.RAV5csNlLiUqqXInrnAlDJIbC_9tDbVKweAiKoCTEEfn8 networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP726385.RAV5csNlLiUqqXInrnAlDJIbC_9tDbVKweAiKoCTEEfn8 assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP760671.RAetIFe-Dz8cfh1GHA_vWCnaX_9QNe5ZWHRc1QgZo3YNQ networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP760671.RAetIFe-Dz8cfh1GHA_vWCnaX_9QNe5ZWHRc1QgZo3YNQ assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP789942.RAdojewmeRzU2af0cury0wwGc9bDI8RRFjgTvm2WfU8Y8 networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP789942.RAdojewmeRzU2af0cury0wwGc9bDI8RRFjgTvm2WfU8Y8 assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP932903.RAZengW0UomNVoCs9kzMOqp3zYzB5u7zyZg2gUGewMZSA networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP932903.RAZengW0UomNVoCs9kzMOqp3zYzB5u7zyZg2gUGewMZSA assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP450910.RAIGNEB_XT6T2OdGbZESBkMLkL8kNutfWsHfys_Ny8dys networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP450910.RAIGNEB_XT6T2OdGbZESBkMLkL8kNutfWsHfys_Ny8dys assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP474871.RAMg0BE458F0FQymocsgKkcAFvOa9YBG-WccQLrbx7qQc networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP474871.RAMg0BE458F0FQymocsgKkcAFvOa9YBG-WccQLrbx7qQc assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP509186.RALFmxVoFOsSJlJpn4kPZ29AnhHucEBgoG2wxYR0Kh2Fs networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP509186.RALFmxVoFOsSJlJpn4kPZ29AnhHucEBgoG2wxYR0Kh2Fs assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP802433.RARDDfzGqRl0sJCdoNlxTd4KVcveJlOeKDctER9q7ahiM networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP802433.RARDDfzGqRl0sJCdoNlxTd4KVcveJlOeKDctER9q7ahiM assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP894083.RATyuboTf5uRVtxf7MV0G5O18iya58tfMhtNUKkNG59eo networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP894083.RATyuboTf5uRVtxf7MV0G5O18iya58tfMhtNUKkNG59eo assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP263744.RAsS2jtZlhMlVepcxlTkhLuDMg3RUDxQgtYHc7clbKntk networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP263744.RAsS2jtZlhMlVepcxlTkhLuDMg3RUDxQgtYHc7clbKntk assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP281725.RAIghbWeOJD3RjM0FoAeMfiPfzkecTms1C-kQHA-aif9A networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP281725.RAIghbWeOJD3RjM0FoAeMfiPfzkecTms1C-kQHA-aif9A assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP300621.RAMGfICZTCTDqTLemIxJJ4iDuLne1SJbVNsJk6WNjoDuI networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP300621.RAMGfICZTCTDqTLemIxJJ4iDuLne1SJbVNsJk6WNjoDuI assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP300686.RAp4XzabPz_HevIP8SYuZuJSPOFrLULyr-PG85zwJKc18 networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP300686.RAp4XzabPz_HevIP8SYuZuJSPOFrLULyr-PG85zwJKc18 assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP300814.RAG_xs_Yarby4J_4Xdx1vOxs0o40f4MWFsQQD65SEN_rQ networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP300814.RAG_xs_Yarby4J_4Xdx1vOxs0o40f4MWFsQQD65SEN_rQ assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP320650.RAEb-mz7GU9Grm7S6j57PjVYsqqdS_x9rhCPUikk71ixc networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP320650.RAEb-mz7GU9Grm7S6j57PjVYsqqdS_x9rhCPUikk71ixc assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP320730.RA7inhGlLot1HYF77iTch5jncQw2Twj4KDYmk8NR93N6k networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP320730.RA7inhGlLot1HYF77iTch5jncQw2Twj4KDYmk8NR93N6k assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP328098.RAO5J8xkFzhtT1_-CKl6liUm-694v4ou1RIStjukx5KPQ networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP328098.RAO5J8xkFzhtT1_-CKl6liUm-694v4ou1RIStjukx5KPQ assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP328739.RA7FIZkfXKBLSxm-o9WeJy2Z1ckbV71MFCMJB-XvSIFuI networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP328739.RA7FIZkfXKBLSxm-o9WeJy2Z1ckbV71MFCMJB-XvSIFuI assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP893224.RAX41bsUmGB-XzSLfpkobzYa0dBHZiWfzAyYOY4E5ABQE networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP893224.RAX41bsUmGB-XzSLfpkobzYa0dBHZiWfzAyYOY4E5ABQE assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP931424.RAerwP3GRKBAWJMjVwIUs_QFYNrV1GoMTcT2ruBV3AZEk networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP931424.RAerwP3GRKBAWJMjVwIUs_QFYNrV1GoMTcT2ruBV3AZEk assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP931435.RAYpJkF16zvokPoJwDanKaF22FTJbL8QhFKM33-05Kx2A networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP931435.RAYpJkF16zvokPoJwDanKaF22FTJbL8QhFKM33-05Kx2A assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP932366.RAXrxWLzom2DkUMo-coWsBX6f9gc4QC7VNpdkzy6P6__k networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP932366.RAXrxWLzom2DkUMo-coWsBX6f9gc4QC7VNpdkzy6P6__k assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP940957.RAV3r52vYNWu5lXyzVxVrtur9iiWXy_X9_tc8CednAfCs networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP940957.RAV3r52vYNWu5lXyzVxVrtur9iiWXy_X9_tc8CednAfCs assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP940984.RARJ9aalp5Y1kZj0aJuTYmTPq9eEuy-WYaNz1YtpzKes8 networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP940984.RARJ9aalp5Y1kZj0aJuTYmTPq9eEuy-WYaNz1YtpzKes8 assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP476763.RA3QGXt3EV7N72l-ggpx4tgYdfWMXGpPun2QU568cw5HM networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP476763.RA3QGXt3EV7N72l-ggpx4tgYdfWMXGpPun2QU568cw5HM assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP480150.RAj7bZRvKirn0w2eLrWqaEAQo4QpXVXQ6_0PArL8xXY4g networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP480150.RAj7bZRvKirn0w2eLrWqaEAQo4QpXVXQ6_0PArL8xXY4g assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP532402.RA3wgtJypcQf1SGmreBRJn6gT9pqJLo-Jl75rxWXTHkj4 networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP532402.RA3wgtJypcQf1SGmreBRJn6gT9pqJLo-Jl75rxWXTHkj4 assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP578759.RA1fXEOKucvg-oGQIuZxe2VNFWIDcgEYP6hIGE1xttoKg networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP578759.RA1fXEOKucvg-oGQIuZxe2VNFWIDcgEYP6hIGE1xttoKg assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP579700.RAKwJWJpq4Q-ID_HPpEPQcfikZsi_NdV_wrjR0KzVaAaU networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP579700.RAKwJWJpq4Q-ID_HPpEPQcfikZsi_NdV_wrjR0KzVaAaU assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP579741.RAMMTM0A3HFXCH8zzvTPEoRyqQA3t8YE_VU1mu1GVhDNs networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP579741.RAMMTM0A3HFXCH8zzvTPEoRyqQA3t8YE_VU1mu1GVhDNs assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP588179.RA0WTlRE7m3fm9_5t61acm-GxvcQ1rGxX2q5Zmbm5kQik networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP588179.RA0WTlRE7m3fm9_5t61acm-GxvcQ1rGxX2q5Zmbm5kQik assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP612304.RAyQWgTZjAvMS-yp6NNPPViBUX45V2xMQEtSkRmjqrAVw networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP612304.RAyQWgTZjAvMS-yp6NNPPViBUX45V2xMQEtSkRmjqrAVw assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP679431.RAoPauym7ElCA-IVGx-SYQHLaF8cON7P2eSdPLsCdGNRA networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP679431.RAoPauym7ElCA-IVGx-SYQHLaF8cON7P2eSdPLsCdGNRA assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP683311.RA9uJ3QUFMntpWSu_vtEaTnEzNS5UmrcDNX1FM_2V5kUs networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP683311.RA9uJ3QUFMntpWSu_vtEaTnEzNS5UmrcDNX1FM_2V5kUs assertion.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP715714.RArfGtkSv0HFxDEQNX_9QbpdYgzBrOkE9Ng1pX_d5-4ek networkGraph.
- RASc3NEFZLwfBD1Jy7a5I1EFbAi8kxDl0hJneffnnaUVI includesElement NP715714.RArfGtkSv0HFxDEQNX_9QbpdYgzBrOkE9Ng1pX_d5-4ek assertion.