Fix & complete forget function, rewrite alias proc