83926
03-Frost
Proposition - Assertion - 03-Frost