proper #inst