Many Changes

fixed procedure, fixed boolean function, wrote number function