Wff01 * 0 kapt.