A Language without IFs