Using logic to explain life | ScratchStats