michaelg/dev: links for precondition