working towards precondition tests