propositioner \ k^ u h"