Simplify ASDF system