Verifying that a machine uses 'appropriate intensions' requires an independent standard of intention...