From card no. 4BRBQCOS:

the yeet theorems
the yeet theorems hunting godel's implication of the extended machine objection