scottcreynolds

# in logic notation
# a -> b is "if a then b"

# so in programming:

a = false
b = true

if a
    puts "a true"