finishing up Procedure, and heading to the boolean