Last week, the U.S. Court of Appeals for the District of Columbia Circuit invalidated CMS’s prohibition on appeals of so-called predicate facts. The appeal before the court, described in greater ...

When you try to write everyday sentences in predicate logic, you begin to see structures like "Who are we talking about?" or "What are we assuming exists?" that you don't usually notice.In previous ...

While passing objects as arguments is a standard and familiar way to invoke methods, providing methods as arguments to other methods is less so. Nonetheless, we often must pass a method as a parameter ...