Other precondition libraries suck. Use this one instead.