At least they now know that praxeology consists of the logical implications of the universal formal fact that people act, that they employ means to try to attain chosen ends.