Legality works (run load_formats.py first)