Law_of_cotangents loading ...