No type or individual with this identifier: #alpha_and_omega.infinity