ported and migrated formula