No definitions found for "proofinit". Perhaps you meant: