Yes! correctness, expressiveness, reliability and cost (token + time)