Intromission theory