Variabler, likninger og identiteter