ยง Normaliztion by evaluation (TODO)