Revert "mine"

This reverts commit 866cb9be5692060d55a37630cc716b9a4c274bff.