Full exposition