Actually implemented Procyon.

Actually implemented Procyon.