Move logical metafunctions.