Even more extensions