Re-checked =<> (...)