This category is for substantive U.S. federal criminal law, i.e. the definition of crimes.