Problems from Themis.