Discussion about definitely_notmaybe