How does specific performance work?