predicat_lib
