Abstract ships