Tosca at the kings head def