Revert "A few clarifications"

This reverts commit 8c4be93ba0ab8dcdddb25a8a43df3130f0b35ff3.