a^gass en k. propositionom