Good and necessary consequence