Attempt at speccing Supply.migrate