abstract: stuffs involved exterior algebra