tracking down small issues with preconditions