Implementing one-arc implementation