Added FatalWeak.
Semantic check returns bool.