miniscript now works