Everything works except for the Then conjunction