F9 for Coq genaral queries