dyck
