Add more doc; Use cleveref