these things will become tractable when we have AGI.