KATAΦ
Performance through constraint.