Tested the preconditions for into function