ForAll now works, hurrah.