Create abstract_logic

The second logical abstract