However other models describe the bonding using only s and p orbitals in agreement with the octet rule. A valence bond description of PF5 uses resonance between different PF4+ F− structures, so that each F is bonded by a covalent bond in four structures and an ionic bond in one structure. Each resonance structure has eight valence electrons on P. A molecular orbital theory description considers the highest occupied molecular orbital to be a non-bonding orbital localized on the five fluorine atoms, in addition to four occupied bonding orbitals, so again there are only eight valence electrons on the phosphorus. The validity of the octet rule for hypervalent molecules is further supported by ab initio molecular orbital calculations, which show that the contribution of d functions to the bonding orbitals is small.