lemma progress towards finishing swapiWorks
finished swapiWorks