Logic group: Free of detachment - Edinburgh Phil Soc