valid implicit integration