nontrivial_inbrackets

December 31 2025