与实现