Create test_leibnitz