Submissions for team Proof By Accepted (¯\_(ツ)_/¯), Q.E.D. on problem Ignoble Imp