real boolean, concat function