• Preconditions