Title: How to specify permanent magnets