assertion transferability and delegate design