update preconditions.md