postcondition outline regular

IconMind · IconMind · MIT