Matches in Nanopublications for { <http://purl.org/np/RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw> ?p ?o ?g. }
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667171.RAC_UafB0-hO34TusG6XZeYS0PvDsFqfBl8_xoa-3fUjQ networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667171.RAC_UafB0-hO34TusG6XZeYS0PvDsFqfBl8_xoa-3fUjQ assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667180.RAAj8XOl3DKY3YARws-kdqjLYDIFn7GvegILINiNmg9gc networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667180.RAAj8XOl3DKY3YARws-kdqjLYDIFn7GvegILINiNmg9gc assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667226.RADLd2NBVf3KrJFvh5HdRFtmYqdrsfvnD8Ac5iE7fw7Eg networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667226.RADLd2NBVf3KrJFvh5HdRFtmYqdrsfvnD8Ac5iE7fw7Eg assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667277.RADafcVBpGIgF1dZgHsljXo7ezVIAs0HVxfhHEHoVbCCM networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667277.RADafcVBpGIgF1dZgHsljXo7ezVIAs0HVxfhHEHoVbCCM assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667338.RACtrmZGWEAKWYL6-waz2Pup6Yp5GJikdIy1yiytDjrZQ networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667338.RACtrmZGWEAKWYL6-waz2Pup6Yp5GJikdIy1yiytDjrZQ assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667464.RABVyWAZrm3AGnlmrunWI59oxeAM4vxVJCyOIthpemfQs networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667464.RABVyWAZrm3AGnlmrunWI59oxeAM4vxVJCyOIthpemfQs assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667515.RAB2uYQlfpbbXWcynROMqdaYbPsbIsEXBltssjfGtWft4 networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667515.RAB2uYQlfpbbXWcynROMqdaYbPsbIsEXBltssjfGtWft4 assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667521.RACwy7G95-UR4o8A8iRm3Jc1CZTHtmQgY3f6OabW4MuJ4 networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667521.RACwy7G95-UR4o8A8iRm3Jc1CZTHtmQgY3f6OabW4MuJ4 assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667523.RAD2_16-8HFbQGIg3CfvJKJnTZskgKVthoqUShxnpdA3U networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667523.RAD2_16-8HFbQGIg3CfvJKJnTZskgKVthoqUShxnpdA3U assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667624.RADdNOC2uZqBOvkuiOu8ZcZqgzlHLNpctcqMSisV6tcjA networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667624.RADdNOC2uZqBOvkuiOu8ZcZqgzlHLNpctcqMSisV6tcjA assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667642.RAAgu1u4awaylGmDLjlc9ulAn_tWFf7aclqBHaoq14-vU networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667642.RAAgu1u4awaylGmDLjlc9ulAn_tWFf7aclqBHaoq14-vU assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667654.RACfAAoI1ZfaC--81bb0MjpqnCF0-E4r9DnrDwsL0CTd0 networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667654.RACfAAoI1ZfaC--81bb0MjpqnCF0-E4r9DnrDwsL0CTd0 assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667677.RADu34MkMuatCTR8GRqVKMbpNB3V33YMuJbknu4zIS2aQ networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667677.RADu34MkMuatCTR8GRqVKMbpNB3V33YMuJbknu4zIS2aQ assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667700.RABado0rWNfoez3zXMg2c5dJJYHa2dLXswTjUagr1Xyp0 networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667700.RABado0rWNfoez3zXMg2c5dJJYHa2dLXswTjUagr1Xyp0 assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667704.RADIR_ZKwQpGQG8bqwEvQF22ToHCds8-YJIOWyQ6G5eIk networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667704.RADIR_ZKwQpGQG8bqwEvQF22ToHCds8-YJIOWyQ6G5eIk assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667738.RADVX729aKOc6FPYoLtXtRLB2nj4dWFLifX4pq73tiIfE networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP667738.RADVX729aKOc6FPYoLtXtRLB2nj4dWFLifX4pq73tiIfE assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP622147.RAvinMXMxY4yrQtsxTbzPLolOhh2ahN0R5nT81doxPpKc networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP622147.RAvinMXMxY4yrQtsxTbzPLolOhh2ahN0R5nT81doxPpKc assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP690298.RAlh6YmTjKQz4iE_pVTIG9fBQEUW3S7LZH-o38HyyZ7to networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP690298.RAlh6YmTjKQz4iE_pVTIG9fBQEUW3S7LZH-o38HyyZ7to assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP865049.RAmVT6r6SpjhZr9X7DFIdFImP-jHuKpdFvUVaNDXqxuNs networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP865049.RAmVT6r6SpjhZr9X7DFIdFImP-jHuKpdFvUVaNDXqxuNs assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP918331.RAkEe8tLRB7uJ_OA4z_9x5iB51-G1AWkbqVVwhBtuj2Z4 networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP918331.RAkEe8tLRB7uJ_OA4z_9x5iB51-G1AWkbqVVwhBtuj2Z4 assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP919065.RAntiEbPOMtxRbYFGv7K6AqA-6I7pRFJeS1iY5-wD0msg networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP919065.RAntiEbPOMtxRbYFGv7K6AqA-6I7pRFJeS1iY5-wD0msg assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP931464.RAny4ZJMDzWjDMJ54FWzodt4e8QFikxJ1kiIQtdjZcUFA networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP931464.RAny4ZJMDzWjDMJ54FWzodt4e8QFikxJ1kiIQtdjZcUFA assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP620035.RAJ22gqcyj1rvvnUVRh_ce6zBcgeKJ1_Ji7gO4Q2aQkHw networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP620035.RAJ22gqcyj1rvvnUVRh_ce6zBcgeKJ1_Ji7gO4Q2aQkHw assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP680553.RA_rysysKYWVuMqsc9sLpgEcTVbaQoFn6wdCwP8kBT5dQ networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP680553.RA_rysysKYWVuMqsc9sLpgEcTVbaQoFn6wdCwP8kBT5dQ assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP805247.RA9EBv_bmqmBD10Gu5IKAQQxFJ4TUdF8NUXD7NccTzznw networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP805247.RA9EBv_bmqmBD10Gu5IKAQQxFJ4TUdF8NUXD7NccTzznw assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP815286.RAF-qImrGyabGH84tWH7_FDx0vsjMBLstJmDItrSz90sY networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP815286.RAF-qImrGyabGH84tWH7_FDx0vsjMBLstJmDItrSz90sY assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP858067.RAPN7YVPzhWU5m4BSx6giZgAph0spw4zEPqsqmOGAlI4E networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP858067.RAPN7YVPzhWU5m4BSx6giZgAph0spw4zEPqsqmOGAlI4E assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP871050.RA96VieKkKDCpwYaCrL2yoF2e5L4cy18t12rDVISaAs3I networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP871050.RA96VieKkKDCpwYaCrL2yoF2e5L4cy18t12rDVISaAs3I assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP890118.RAw8EoIe3MY3ZbH8Mot9n2M7vNLKhqb7cdBAis4Ir7XJM networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP890118.RAw8EoIe3MY3ZbH8Mot9n2M7vNLKhqb7cdBAis4Ir7XJM assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP894877.RAERUPwd91ubFoq4_y4nAgWujS72Aom804KKCfPzKuZ8M networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP894877.RAERUPwd91ubFoq4_y4nAgWujS72Aom804KKCfPzKuZ8M assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP937111.RAL_DvJuR4rqM-t0v3l3VfO93gEdSs7nuUTxDEnV9Q1rU networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP937111.RAL_DvJuR4rqM-t0v3l3VfO93gEdSs7nuUTxDEnV9Q1rU assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP156487.RAKdzdew_rQegkUa4Vzf4LXXqMY_5OEwa2hsiE4ehc55g networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP156487.RAKdzdew_rQegkUa4Vzf4LXXqMY_5OEwa2hsiE4ehc55g assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP224587.RALAUNJgOY6LIWKM-FEB8qSmWm6jOelfqR3JnAIxcya6g networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP224587.RALAUNJgOY6LIWKM-FEB8qSmWm6jOelfqR3JnAIxcya6g assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP232940.RA4XpJIkySy7dxPDldpJalsohuKeq_DvUVAywejElnXrg networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP232940.RA4XpJIkySy7dxPDldpJalsohuKeq_DvUVAywejElnXrg assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP795312.RAib1cGFkvLffk09VcgGwu6SEd76CNL2U9G7S5yMsAhUs networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP795312.RAib1cGFkvLffk09VcgGwu6SEd76CNL2U9G7S5yMsAhUs assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP801528.RAk1ffuFXgGODsOfQH06qBxaTt1r3pCNaXor_hxW77mkA networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP801528.RAk1ffuFXgGODsOfQH06qBxaTt1r3pCNaXor_hxW77mkA assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP834263.RAltsJzGJHGx1AgwH0DdF7Uwu0If3iAiAi_9e_yHx0CBY networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP834263.RAltsJzGJHGx1AgwH0DdF7Uwu0If3iAiAi_9e_yHx0CBY assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP247641.RAHv48oBco9_jOZBriX5kpzWDV0BfegYtzZfN6Er6NULk networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP247641.RAHv48oBco9_jOZBriX5kpzWDV0BfegYtzZfN6Er6NULk assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP373902.RAHt1HzcWskw_ddUcrahLXbQmwtf4xjzQExRzuqSmSVQw networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP373902.RAHt1HzcWskw_ddUcrahLXbQmwtf4xjzQExRzuqSmSVQw assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP711946.RAHt0rM99kRpCPKvJfByrNdNlSQ7_zLl6qs6NnYqM2aaE networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP711946.RAHt0rM99kRpCPKvJfByrNdNlSQ7_zLl6qs6NnYqM2aaE assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP291407.RAwZeiQowYAaUgKeBcpxBgqk2WzsopzJAgoBmz1SBAfEM networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP291407.RAwZeiQowYAaUgKeBcpxBgqk2WzsopzJAgoBmz1SBAfEM assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP518647.RAIWOUnvltDNF1LIB51A-psJmMn24PcTVYqGZMM8W0c90 networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP518647.RAIWOUnvltDNF1LIB51A-psJmMn24PcTVYqGZMM8W0c90 assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP520982.RAK-NeCaKnr-H6U_YUzCAO-4rg_1vlpZZy2eWhPqh0JiA networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP520982.RAK-NeCaKnr-H6U_YUzCAO-4rg_1vlpZZy2eWhPqh0JiA assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP567775.RAF7Qq5yZa4tiMZ0SKhiV0zQ_er_IcGLr5ty5jOxS0StU networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP567775.RAF7Qq5yZa4tiMZ0SKhiV0zQ_er_IcGLr5ty5jOxS0StU assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP581264.RAJYeVmpwg772K3aMn0yuCP-eQcTZE_JD7azor-yo2qnI networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP581264.RAJYeVmpwg772K3aMn0yuCP-eQcTZE_JD7azor-yo2qnI assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP518868.RA1qbr0Sest57lkcO1FJV-Aoa2TkJzhJ0a-zKi_aUn2BU networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP518868.RA1qbr0Sest57lkcO1FJV-Aoa2TkJzhJ0a-zKi_aUn2BU assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP831621.RA9rY7BA5RTZxl1-wagTH9PGndPQOQtg4xIY7djdv4yfE networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP831621.RA9rY7BA5RTZxl1-wagTH9PGndPQOQtg4xIY7djdv4yfE assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP931108.RA5zWdeu7iykrHCAH8NxvXr7hZPktzg8KFJFanN_KVHyk networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP931108.RA5zWdeu7iykrHCAH8NxvXr7hZPktzg8KFJFanN_KVHyk assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP814450.RAJkrfeqsmLSGaP3T25LZTnEIIAX3YlcnYP7qOjCSlgf0 networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP814450.RAJkrfeqsmLSGaP3T25LZTnEIIAX3YlcnYP7qOjCSlgf0 assertion.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP838305.RALIq1qpvAd9ksmeO9QgpWc1gAnEqtXlw-chK1RRJVEf4 networkGraph.
- RA0E0IhtMZfwIRiQc7nzDu6SljQbURKy7x-hYgDxUSwzw includesElement NP838305.RALIq1qpvAd9ksmeO9QgpWc1gAnEqtXlw-chK1RRJVEf4 assertion.