Assumption K-4 All-Comers Meet 1 by professor