However, being able to write contracts directly in the code using standard programming language features, versus a specialized annotation language, has great advantages.