Det är väl värt att notera att från ett tekniskt perspektiv så är dessa i sig själva egenskaper som i stor utsträckning är omöjliga att bevisa :