let
false_str =
"abstract"