P_free_checking