postcondition outline thin

IconMind · IconMind · MIT