#define CATCH_CONFIG_MAIN
#include <catch2/catch.hpp>
TEST_CASE("15 is less than 20", "[numbers]") {
REQUIRE(15 < 20);
}