k<¬\