, t j toB afo-afs en k propositiontill