if anyone asks, this is all kurt gödels fault