Conditional Logic - With an Expressions