In Dijkstra's selection statement All commands whose guards are true are executed in nondeterministic order The first guarded command whose guard is true if executed Anon-deterministic choice is made amongst commands whose guards are true No guarded command is executed if no guard is true