basic conversions to simpler logic complete