Proper documentation for the System class