Fireplace + sketch
axiom
i
xiY