summary of Friday's discussion on module system properties