more about semicolon inference