Revert "cinq"

This reverts commit 35ee36d28f5430adb1244b7de9c146c1a6aaec56.