modeling downcast explicit

30 April 2023
68