Olması başka durumların gerçekleşmesini gerektiren şey, koşul