proc . , deofullständigt