(log) proposition