Included three unverified but safe rules