F-algebra stuff.