The finite model of logical proofs; one can establish the integrity of a logic if the presumptions exist in real space by exhaustively testing them and therefore validating the theorem through observation. Cover LDR sensor with cardboard cake-> send signal to FPGA -> Send signal to monitor via VGA protocol