04 Logic and SA )