format judgment expression