Just as a reminder, next time skip (to class, introductions proper, etc.) will be sometime around November 2nd.