Revert "Some basic rules"

This reverts commit 09d9df47fe7e8bc6167670a5339f792e4b5c8b24.