nice post condition check