The [[GetOwnProperty]] definition says "4. If X is a data property, then", but "data property" is not linked to the formal definition.