boolean procedure added