We should include the derive and verify methods here.