Use magicpen for the to satisfy assertions