Typed up relative intro