Tudor Gîrba on How Moldable Development Offers a Novel Way to Reason about Systems