You're supposed to realize that enlightenment is not computable by an FA.