# What goes into domain logic?

Define all the business functions inside domain logic, especially the predicate functions used inside pre.

Advantages:

• avoids crucial logic duplication & there by code-reuse

• testability

• can be used in pre checks, makes the spec more readable